Check extraneous arguments to DISCONNECT and TERMINATE

Same as READMEM.