IRTS.Simplified
simplifyDefs
data
SDecl
data
SExp
data
SAlt