Correction to TP unsupported collector
TP bug fixing
TP bug fix - postcondition parameter list fix on implicit operations.