(= (loop_and_0) (loop_and_0))


!(loop_and_0)