Scip_idl minor enhancements
some support for universal quantification in DB