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