let dependencies p = 
  let hs = PropSet.elements p.dependencies in
  match p.induction with
    | None -> hs
    | Some stmt -> 
        LoopInvariants.property stmt :: hs