Translation utilities for SMT: If...