added minus operator and generated code for MinusMerge#16

joyemang33 merged 3 commits intoqed-solver:dslqed-solver/parser:dslfrom

yushinliang:dslyushinliang/qed-solver-parser:dslCopy head branch name to clipboard