Linearity checking on LHS of with clauses