I think this property is not tested at `eqc_test_/0` . Maybe forgotten? At my local this property also passed.