Left Could not parse solver response: Solver response parsing failure. *** Exception: Unrecognized response from solver: bad :error-behavior value in response to command: (get-info :error-behavior) Attempting to parse input for test resp: Just "(:error-behavior freak-out)\n" in response to commands for test resp: test cmd