Precision computation for the raw, versioning and stencil validity checks. The domain consists of three monitored cells. The precision of the optimized kernel is also visible. A vertex from one cell to another represents a value dependency. If multiple vertices enter a same destination cell, the lowest of the parent’s values is chosen. The stencil check requires an intermediate step because the neighbor’s values are also considered to compute a cell precision. The value from the neighbors is incremented by one (green dashed lines) before they enter the intermediate cell. This increment limits the influence of the neighbors when the stencil check is used.