finally got syntatic proof C-- parser working with out error recovery