added assertions to test copying of formulas