if counter-example is set to NULL because of an exception on the Prolog side, the DisproverReasoner no longer throws a NullPointerException but fails with an appropriate error message