pi: I moved the references to StaticLocalVariables in the edge relationships to ProgramVariable, but likely they can be simplified now.