added core of IntOk Analysis