Function test_generation::transitions::stack_has_reference

pub fn stack_has_reference(
    state: &AbstractState,
    index: usize,
    mutability: Mutability
) -> bool

Determine whether the stack has a reference at index with the given mutability. If mutable is Either then the reference can be either mutable or immutable