Given a special form until
(until exp1 ... expn test)
exp1, . . . , expn are calculated sequentially, and then test is calculated. If it is f
