pub const SEMANTIC_OBSERVATION: &str = "the lines main prints, in order, on executions that do not abort, and the proposition of every source theorem and assertion over the translated definitions";Expand description
What a semantic translation preserves: the printed lines and every stated proposition.