Recursively scan scev expressions for common subexpressions. This allows us