A case for explicit join point models for aspect-oriented intermediate languages