use the same environment frames for guards as for evaluating parameters