pub fn registered_contract_solution( contract: &Contract, contract_registry: &PredicateAddress, ) -> Solution