FIXED: no need to check value_scope for value3 for CMP instruction that has no value3.