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