Add (non-working) pointer vector to GraphElement, add default cases to counter switch in driver