adding proof of context-sensitivy of raw string literals