My fork of https://github.com/grzesuav/jpf-symbc