Muon study of proton behaviour in rhenium trioxide