Parsing more stuff into the AST. assert/assume/assignments with minimal expression subset