Replaced manually created factories with BuilderGen annotations, added
MahlerPnueli and RivestSchapire special cases for Generic L*.