15. The system of claim 13 , wherein said first one of said first set of one or more assertions involves a variable, wherein said template comprises a constraint on said variable, and wherein the system further comprises: a constraint solver that finds a constant that satisfies said constraint to substitute in place of said variable.
16. The system of claim 15 , wherein there is a set or range of values that satisfy said constraint, and wherein said constraint solver chooses one or said values to substitute in place of said variable based on a principle.