Perhaps use `in drop inst.consumed` all over, rather than `drop <literal>`.