Handle a concatenation that doesn't resolve

Fixes #140
Merge pull request #141 from typesafehub/fix/havocp-140

Handle a concatenation that doesn't resolve