Constructor for the transformation of COMPOST ASTs to KeY.
Parameters: children - the children of this AST element as KeY classes.May contain: Comments, a Then, an Else, an Expression (as condition of If)
Returns the child at the specified index in this node's "virtual"
child array
Parameters: index - an index into this node's "virtual" child array the program element at the given position exception: ArrayIndexOutOfBoundsException - if index is outof bounds