svfgrammar: Forgotten SVF statements.