qvt kodkod: first steps