let removeTerm term lterm =
List.fold_left
(fun treated t ->
match term,t with
| PCall (s1),PCall (s2)
| PReturn (s1),PReturn (s2)
| PCallOrReturn (s1),PCallOrReturn (s2) when (String.compare s1 s2)=0 -> treated
| _ as o -> (snd o)::treated
)
[]
lterm