moved base sigs to Analyses; better sig for glob. solvers