formalism=scfg
intersection_strategy=full
scfg_max_span_limit=2147483647 # std::numeric_limits<int>::max() on my machine