let get_filter () = gram.gfilter