dreach_tool: shorten drh and smt2 codes

Close #5