#Requires: # var 1 to be valid # var 2 to be valid # #Returns: # var 1 is Preserver/Produces/Destroys