Replaced manually created factories with BuilderGen annotations, added
MahlerPnueli and RivestSchapire special cases for Generic L*.
conventions
Merge branch 'develop' into reuse