upgraded to the latest kiama version