add print method for StateCL