Fixed the issue related to free being a Boogie keyword and being passed around as a function pointer. Closes #45. Closes #46.