let isDefInstr i defId =
  match getSimpRhs defId with
    Some(RDCall i') -> Cilutil.equals i i'
  | _ -> false