commented out everything except the toExpr and fromExpr code portion in
prenexing