myPromela.java: define enabled function, remove the condition that only deal with non-power set place
myPromela: add hashmap map string to integer so that promela can check string