sig   val easy_to_escape : string -> bool   val impossible_to_escape_for_variable : string -> bool end