more developments towards qvt kodkod