Add tests to simplify and sample from testPriorProp
Use toMaple in simplify