-------------------
contIsDupable :: SimplCont -> Bool
contIsDupable (Stop {})                         = True
contIsDupable :: SimplCont -> Bool
contIsDupable (Stop {})                         = True
contIsDupable (Stop {})                         = True