Update Specification.java

- prepare iterable implementation
- add mutation relation