# valid:
START(id123)
   START(id456)END(id456)
END(id123)

#invalid
START(id123)
   START(id456)END(id123)
END(id456)