predicatechecker (cargo): Check that a predicate is true if another is
Keywords: logic