Fix loop solving issue

Small fix in symbol manager