svf-tools/svf/include/CFL/grammar/VFGGrammar.txt

* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.

Start:  
   A
Terminal:
   a call ret
Productions:
   A -> A A | a | call_i A ret_i | epsilon;
   Abar -> Abar Abar | abar | retbar_i Abar callbar_i | epsilon;