Stop unfolding if grammar is closed, which it is for CEGLESS