put assumptions from casm file into own text file. formalized test cases and removed unecessary case.