exception handling in exhaustive and aproximate ANDs

new extractors, disambiguators
scripts for analyzing data and UDFs
fixed some issues reported by Sonar