Ossature can now catch code that compiles but is wrong
ossature.dev