let get_stmt = function
  | Property.IPCodeAnnot(_,stmt,_) -> Some stmt
  | Property.IPAssigns(_,Kstmt stmt,_,_) -> Some stmt
  | _ -> None