Add missing And cases. test1 now compiles and produces the correct result
Add missing And cases. test1 now compiles and produces the correct result

TransScript/TransScript,tosca-lang/tosca,crsx/crsx4,TransScript/TransScript,crsx/crsx4,tosca-lang/tosca,tosca-lang/tosca