Overapproximate string literals. Fixes #10.