open Syntax;; open Econd;; type clause = econd * new_state * string;; val decompose : Syntax.character -> clause list;;