DO-OPERATIONS prints iteration var and ops on error
Export fuzz:test-predicate