revise some rex
add lack of right var rexs, add random var name gen
add one more test case for left lack
add comment