Added tests that exercise generation of transformed IR AST constructs where the transformation constructs new children that must also be transformed
Added fix for generation of IR AST constructs that are subject to transformation. The visitor cases forgot to visit newly constructed children, which is a problem if they have children themselves that must be transformed.
Added the alarm specification (or a slightly modified version of it) as a test case