I fixed the bug which doesn't QMARK and PLUS in dfasuperset() and
modified serveral comments.