constant annotation (for classes)
solver cleanup