Correctly calculates int bitwidth
Update on OCL2Alloy
Fixed bug on example