Added draft code for rendering all required transformations except pointer access checks. Next thing to do is to add replacements in place.