Clafer is a lightweight modeling language