c2SmtR