fixed genPromela