Your two CVX variables, l_cheat and l_star_cheat, are being multiplied in the expression for Bill_cheat. That is against CVX’s DCP rules. Why isn’t CVX accepting my model? READ THIS FIRST!
I will presume this model is non-convex unless you can show otherwise.