Single-branch version of condu. ifu relates to condu the way that if relates to cond in regular Scheme.