WIP: implement function transformation in the Booleanizer. Proper variable mapping still need some work.