(define-fun .def_133 () Bool (and .def_100 .def_132)) (define-fun .def_152 () Bool (and .def_133 .def_151)) (define-fun .def_47 () Bool (= !pc.next 22)) (define-fun ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results