JSIL.JSSubst
val action_substitutions : (string * string) list
(before * after) list
val pred_substitutions : (string * string) list