Use SUB operator in sequential symbolic execution library