Added comment to component compute-discriminating-automaton in phase 2.
Added comment to component discriminating-tagbody in phase 2.