FunctionSimplifier.simplify: spec not altering put order
FunctionSimplifier spec: split into separate cases