pub trait CfgSymbolBitMatrixExt {
// Required methods
fn empty_matrix(&self) -> SymbolBitMatrix;
fn direct_derivation_matrix(&self) -> DirectDerivationMatrix;
fn reachability_matrix(&self) -> ReachabilityMatrix;
fn unit_derivation_matrix(&self) -> UnitDerivationMatrix;
}