Fixed DE5: add test case for markExtendedRelationMetadata
Removed unreachable code
Fixed bug: findTransition fall into infinite loop as getSuper always return same state machine