method private get_current_kf () = Kernel_function.find_englobing_kf (Extlib.the (self#current_stmt))