update : instruction level check