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