let descr = "considers the property described by the ya automata (in
  Ya language) from file <f>."