Add some method to Player.ml (which are not implemented yet)