100644 blob fd797f8803ee2fa1644490a778377e60cd16bfcb	Deterministic.java
100644 blob a559c1db27e65b225b30e482c8c0b9c22213e696	Pure.java
100644 blob eadcc4f49e3cb6ee44af8d29c8c05283eac06b3a	SideEffectFree.java
100644 blob cd9d5d8c79f0128aa27e21330213a42e56bc576d	TerminatesExecution.java