Erase Value from ValueExprMap and ExprValueMap. If ValueExprMap.erase(V) is not used together with forgetMemoizedResults(S), eraseValueFromMap should be used instead to ensure whenever V->S is removed from ValueExprMap, V is also removed from the set of ExprValueMap[S].