Implementing IR as a subset of AST representing semantically analyzed D