itf S
  syn z :: Int


{
x = sem C :: S of
      lhs.z = 4
}


sem A of
    tail sem B :: S of
           lhs.z = 3

sem B of
    tail sem C :: S of
           lhs.z = 3

sem C of
    tail sem A :: S of
           lhs.z = 3