Refactorization of CounterExample, RacAPI, TacoAPI