fix for symbolic analysis