Condition extraction now uses the output of taint.sh
Added verbose output
Minor modifications