Fatal error: exception Semantic.Failure("gram koch defined twice")
