Added tests and code for nested Ors and nested Every inner equality constraints.