tosem: Add stub for may-only smtlib encoding