initial code to parse assumption and reduction files