I have a ufl sum object composed of a sum of functions in a space W and a space K which I want to convert to a Function in the space K.

For instance consider the example code below:

```
import numpy as np
from fenics import *
resolution = 5
mesh = UnitSquareMesh(resolution,resolution)
W = FunctionSpace(mesh,"DG",1)
K = FunctionSpace(mesh,"DG",0)
u = interpolate(Constant(1),W)
au = interpolate(Constant(1),W)
alpha = interpolate(Constant(1),K)
ConvertThis = inner(u,u)*alpha+inner(au,alpha*u)
print(type(ConvertThis))
#conversion ?
```

How do I get ConvertThis to be a function in K ?