Initial version of a verifier for JS like language