No backtracking if all the productions of a non-terminal succeed
m