Fixed promela backend when generating multiple conditionals in an if-fi block