a js tool for reasoning about less variables