changed header structure to support internal transition grammar + added
internal transition test