EFSMT - A wrapper for solving exists-forall formulae