#lqptop #abstract interpretation #code word #lqp top