Added a class annotation (ConcreteValue)