Autodetect left edge of compressed proof from $p statement column
javadoc + build