All tests pass (137) with 99.5% EclEmma Coverage