Implementation of JavaScript Analysis that uses Type-Refinement concepts from our DLS 2013 paper.