bug fixes: initialization of tseitin_var_, transform takes references
Introducing ast-manager; nodes shouldn't be created directly any longer