icse15: Add umllet model constraint