added hybrid automaton delineation in comments
Pre-comparison