let
apply_on_stmt f =
function
|
PStmt
(kf,s)
->
f kf s
|
_
->
()