glr2.cc: simplify semantic_option