updated alloy
noClique test