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