Fix for modeling clause

- model can also be followed by "unique" and "return"
- rules clause can be empty