refactor max_predicates to use min_predicates, expand testing