added propagation for string literals