Added eqc tests and examples.