with minimal test e.g., verify the lowered model has a throw operation, could consider a complex test with separate compilation later on