Added flag to set SMT logic, set none by default
Fixed debug output when detecting SMT logic