TLA+ Web Interpreter Tests