Symbol: solver_is_supplementing