LiftOneLevel WhereIn8 test passes