Define an operation Remove Operator which takes as input an existing operator who is currently available and removes that operator from the system.
A telecommunications company has set up a 2-tier technical support call centre for assisting its customers. The centre manager is responsible for receiving incoming calls and distributing them to technical operators. The operators are partitioned into two kinds: ordinary and specialist. Ordinary operators deal with basic customer issues; specialist operators deal with advanced customer issues. […]