Partial implementation of symbolic string length support