Sem: Put the context inside the AST (because we can, because it is parametrized)