Add splitvar property

Implement the useful heuristic to choose the variable that occurs in the
maximum number of the expression's arguments.
Add restrict back to normal form