added rational-expr method for pvs-sxhash*