Implement exclusive tests. Make SpecificationNodes immutable. Fixes #5