This behavior is now tested at more appropriate levels in test_software_spec, test_formula_spec_selection, and test_formula_validation.