minor modifications to method getLastCounterexample from TacoAPI
minor modifications to method getLastCounterexample from TacoAPI