Fixing missing predicate declaration