v0.2

• remove (exit) commands at the end of sources
• make library compatible with smtlib-backends-0.2