everything works with HOL solver
updated alloy.jar