method
private
current_ki =
match
self
#
current_stmt
with
None
->
Kglobal
|
Some
s
->
Kstmt
s