JSIL.JSFilter
val mode : States.Filter.filter_mode
val action_filters : string list
val preds_filters : string list