Function non_pc_registers_equal_var 

fn non_pc_registers_equal_var(
    t1: &Registers,
    t2: &Registers,
    w: &mut Witness<Fp>,
) -> Boolean