fixed symbolic recursing bug