smtlib compatibility mode
testing low level blocking calls