corrections to TP visitor for type invariants, undefined actions/processes