Added Event-B variable checkbox table