lifted definitions in scheme analysis of foo