remove unused predicate, add problem link