updated alloy.jar
staged execution for chameleons