Contents:
This module contains a behavior validator pass for M2-ISA-R models. Type inference has to be run first!