Function validate_generated_predicate_steps 

fn validate_generated_predicate_steps(
    predicate: &Predicate,
    steps: &[Mutation],
    current_step: usize,
) -> Result<(), DatabaseError>

Rejects an identity reference unless an earlier transaction step produces it.