Added getters for the AST-arrays