Wrote pre/post conditions for calculator classes