programs with two-hole evaluation contexts