forwardSYMInExpr nm (InstanceOf tp expr _) = forwardSYMInExpr nm expr
forwardSYMInExpr nm (InstanceOf tp expr _) = forwardSYMInExpr nm expr
forwardSYMInExpr nm (InstanceOf tp expr _) = forwardSYMInExpr nm expr