update compile_varref_thm for PushAnyInt