On the condition that the SC is rejected, the parser must remount the next Eg candidate to carry out the 'Hypothesis-Test' of the corresponding SC.
the final targets of all rules are to hypothesize a SC from the Eg candidates.