val requestedPredicates: Map<String, ProofPredicateInfo>?
the map of requested predicates where the key is predicate reference.
requestedPredicates - the map of requested predicates where the key is predicate reference.
requestedPredicates