Come up with examples of what a successful eqc_statem property tested