let quantif_locals kf p =  W.quantif_locals kf p