module T1326C where

import T1326B 

{-@ measure terminates :: Program l -> Bool @-}