working on file input and ATN deserialization