Picrocleidus has previously been considered synonymous with Muraenosaurus .
There are doubts in the relationship between the two groupings .
Picrocleidus has previously been considered synonymous with Muraenosaurus although there are doubts in the relationship between the two groupings .