(orcc) Use default logic in smt-solver