Fork of the cpachecker project, http://cpachecker.sosy-lab.org/