:nut_and_bolt: Expressive runtime invariants for JavaScript - View it on GitHub