Symbol: solver_dep_fulfilled