Overloaded toString functions with toString(VariableIdMapping*) to allow printing of pstate and estate with the original (mapped) names of variables (instead of variable-ids as used by the toString() function)