Conjunction support

[gsvgit]

• Conjunctive languages are useful for static code analysis: Context-Sensitive Data-Dependence Analysis
  via Linear Conjunctive Language Reachability
• It is possible to support conjunction in parser-combinators for linear input.
  • code
  • paper in Ru
• Is it possible to support conjunction in parser combinators for graphs? The precise solution is impossible, so it is necessary to guarantee overapproximation.