proved two more properties about havoc in Equiv.v
proved two more properties about havoc in Equiv.v

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps