Symbol: solver_splitprovides