Ossature can now catch code that compiles but is wrong