A tool to create fragments of executions (instructions to execute)