Switched implementations to abstractions in Processors contracts.