Mod: use start condition to accomplish lookahead assert