let current = function
    | Cnone ->
        Wp_parameters.fatal "logic:undefined value"
    | Cdefault item | Cupdated(item,_) -> item