new attribute added to OperatedMachine -> checking if already being operated