Side effect optimization.
Do not re-evaluate under new effects String methods that could not matter.
Side effect bugfixes.