modification of refinement of functions
modification of refinement of functions

- now with a constant case and a destructive case
- depth of functions now increases (low depth->favor constant functions)

c-cube/smbc