Added flag to set SMT logic, set none by default