Adding 'liftElemNet_' and fixing the counters in 'liftElemNet'

- liftElemNet_ tracks the return value of the PTConstrM monad
- The names of places and transitions in children nets do not
  clash with the names of places and transitions of other nets