delete non-terminal Mrequirs and Mvirtrual