// Write your Whiley program here
Enable Verification Generate Counterexamples Show Console Show JavaScript