Systematic comparison of symbolic execution systems: Intermediate representation and its generation