Remove printing of productions in mk-session