Changed conditional interface so body accepts a general control flow object.