Before revision:  We demonstrate the algorithm on models of gene transcription and cell signaling, and argue that the parameter constraints defining each region have biological meaningful interpretations .
After revision:  We demonstrate the algorithm on models of gene transcription and cell signalling, and show that in many cases we obtain a complete partitioning of the parameter space with respect to multistationarity .