Completely removed the "CheckedBefore transformation". See #17