Function vars now exploits hashconsing.