# Bug Report MI_mem should consume two elements, not one. ## Symptom - ... ## Scenario and Screenshot https://github.com/kupl/MicSE/blob/d5a27c4170e2dc8ea0c43071e5dd1b50d8d9af31/lib/te.ml#L107 It should be replaced into `| MI_mem -> gdc MT_bool :: tl (tl st)` ... ## Plan - ... ## Reference - ...