let map f ((a, rho) as p) =
    let (a', alpha') = f a in
      if a == a' then p else
        (a', Jst.dep2 rho alpha')