SYSE.47:6 - Bias-Annotation

A controller designer can mistake the successful trace’s incidental order for the only valid route. A fixed benchmark can reward a memorized branch. Preserve alternative successful continuations and challenge predicates with a changed premise, not just another wording of the familiar task.