Implemented transformation of port symbols; fixed all unit test failures except for modelchecking tests