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