Update and rename epsilonAssumption.cpp to epsilonAssumption.h