Add clearer invariants to composite spec mixing
Merge pull request #1188 from spicyj/comp-spec-inv

Add clearer invariants to composite spec mixing