Better naming.
Split PrenexTree into separate module.