translateDomainDefinition scope _ nsid (L1.L1SubsetDomain ss dt ex) =
    makeClonelikeDomain scope ss nsid dt
      (\scope' -> L2.L2DomainSubset <$> (translateExpression scope' ss nsid ex))
translateDomainDefinition scope _ nsid (L1.L1SubsetDomain ss dt ex) =
    makeClonelikeDomain scope ss nsid dt
      (\scope' -> L2.L2DomainSubset <$> (translateExpression scope' ss nsid ex))
translateDomainDefinition scope _ nsid (L1.L1SubsetDomain ss dt ex) =
    makeClonelikeDomain scope ss nsid dt
      (\scope' -> L2.L2DomainSubset <$> (translateExpression scope' ss nsid ex))