souper optimization profiling support