Added SVF grammar parser