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