Co-authored-by: matthewjasper <20113453+matthewjasper@users.noreply.github.com>
type_op_prove_predicate