souffle-cfa-optimization-experiment generate profile report: ./prof.sh run cfa on the sample input: ./run.sh