Issue #38 Modelcheck added notEmpy