Added Successor Generator for constructing the set of applicable operators or PVAs faster.