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