Function check_generated_bridge_with 

pub fn check_generated_bridge_with<A: AbstractionView>(
    hir: FrozenHir,
    abs: &mut A,
    stimuli: impl IntoIterator<Item = PortValues>,
) -> EquivStatus

Same bridge entry with an arbitrary functional view (for deliberate-mismatch tests).