Adjust to changes in the User class. Introduce a new UnaryInstruction