outline of Clafer language and a demo solution