fixed a heisenbug in abs-interpreter