enqueuememの出る条件の再検討

[8q]

膜が再利用される際はOptimizerでremovemem命令やnewmem命令が削除されたのちにどんなときでもenqueuemem命令が出力される。enqueuemem命令は膜を再度実行膜スタックに積む命令であるが、これは膜の中にルールが含まれていないときは必要ないように思う。どうだろうか。