Add alternative Existence Rule

[jputlock]

The current existence decomposition rule allows an existence variable to be instantiated with a new variable. An alternative rule is to create a branch for each constant in the universe and create a new branch for the new variable. This alternative decomposition rule allows for some infinite trees to be avoided.

[jputlock]

added in most recent commit