#logibn #bin #abstract interpretation #tech handle #data bin