modify extractPredicate.py