Corrected error on Type invariant translations in TP Visitor