public interface PrecisionState
ModelState
getModelState()
TraceState
getTraceState()
ModelState getModelState()
TraceState getTraceState()