Consider the interpreter from Project 4 for a higher-order f…
Consider the interpreter from Project 4 for a higher-order functional language with mutations. Check the claims that are always true for the interpretation of a sum, E1 + E2, using a given environment ‘env’ and a given store ‘sto’ (and input stream)