Non determinism is supported
Productions can be commented
Default direction is upward