(orcc) Use default logic in smt-solver

Fix #111
Original commit authored by JamesGuthrie, cherry-picked
from JamesGuthrie/orcc@904c3e61813