private function getVariableName(Operand\Variable $var) { assert($var->name instanceof Literal); return $var->name->value; }