progress, kind of value should be fixed
fixing stronger condition.
add tactic native_cast_no_check
Improve theory Resource