pub const GRAMMAR_MERGE_METHOD: &str = "recursive-structural-bisimulation";
How an accepted equivalence is justified.