update gitignore
add methode for retrieve predicate denominator and numerator