a TrPoint can be an EntryPoint, an ExitPoint or a TransitionPoint

a TrPoint is an abstract element