Added apply postcondition code for ADD operator. Added checking for null