public ATerm readFromBinaryFile(InputStream stream) throws IOException{
return readFromBinaryFile(stream, false);
}
private ATerm readFromBinaryFile(InputStream stream, boolean headerRead) throws ParseError, IOException {
BAFReader r = new BAFReader(this, stream);
return r.readFromBinaryFile(headerRead);
}