add Seps#-
unstub FunctionSimplifier#simplify spec