{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"///"}]}
    /// that the terminator are the same.
    /// Check that the BBs to be simplified satisfies all distinct and
    /// There are also conditions for different ways of simplification.