public static Name GenerateUniqueGhostVariable()
{
Name ghost = new VariableSymbol("_");
ghost = ghost.ReplaceUnboundVariables(_variableIdCounter.ToString());
_variableIdCounter++;
return(ghost);
}