public TimpexPrinter(PredicateCore pexPredicate, PexPrinter pexPrinter, TimAndPexPrinter timAndPexPrinter, PredicateCore timPredicate, TimPrinter timPrinter) { _pexPredicate = pexPredicate; _pexPrinter = pexPrinter; _timAndPexPrinter = timAndPexPrinter; _timPredicate = timPredicate; _timPrinter = timPrinter; }