Preconditions and Postconditions added to Player.cpp. Player.h updated.