bug fixes to bv args skolemization