lifted definitions in scheme foo analysis