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