Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework