IRTS.Simplified

simplifyDefs

data SDecl

data SExp

data SAlt