Static Consistency Checking of Web Applications with WebDSL