Identify SMT solver input