add const assertion & review dalvik_instruction