Won't transform free vars
Checking non-mapping of free vars.