Slicing for functions
Improve function value ordering in counterexamples