T5: condition not terminal

By BBT /