syntax: split the VariableContext into a Scope and a Flow context