Text this: Symbolic execution optimization method based on input constraint