Last typechecker jar (call createUnit() in the PhasedUnit constructor)