LiftOneLevel WhereIn7 test passes