fix add expression
fix testcase
README