Enable for Signature1_equals() to be erased during dead code elimination; Prevent infinite nesting of visit() functions