minor
nusmv - changed to boolean encoding, now aiger tools can be used
nusmv translator bug fix