Question 2 (10 points)
The following denotational semantics describes what
if(M1(some1, s)==error)
return error
else if(M1(some1,s)==true)
if(M2 (some2,s)==error)
return error
else s = M2 (some2, s)
else if(M1 (some1,s)==false)
if(M2(some3,s)==error)
return error
else s = M2(some3,s)