Somewhat improved diagnostics generated by yyexplain_not_compatible(). Fixes [bug 4534 (#4534)]. Rev: src/program.c:1.689