add (untested) read/write methods for MILProgram