integer obfuscation in java script
.. compiler infers correct assertions from given expert assertions