(= (loop_and_1) (loop_and_1))
(= (loop_and_1) 1)

!(== (loop_and_1) 1)

!(loop_and_1)