Esverify: LiquidHaskell inspired verification for JavaScript

esverify: Program Verification for ECMAScript/JavaScript