remove toploop predicate in requires.