use early-exit style for a SMT translation function

Makes things a bit smoother going forwards as we start to add more nuanced
cases.