Assertion: compiler | /r/HasSubevent | benefit
Facets:
Source sentences:
text: Unlike traditional static analysis tools that run separately from the compiler, DoubleCheck is built in to our compiler, which results in these benefits: