[{"has_loop": false, "EAX": "0x1", "satisfiability": true, "constraints": {}}]