Fixing buffer initialization and finalization.
Bugfix in getting the free expression variables of a computation and a
smaller one in PassFold.