small bugfix for lambdalifting; preparations for a better testing framework