Checks that VarDecl instances are defined when constraints are
specified.
Checks that the given URIs are existing genmodel files.
Checks that VarDecl instances are defined when an expression is
specified on a sliced class/property.
other constraints added