Sketch the module that inserts symbolic execution library calls