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