fixing constant evaluation bugs
Better error in case of nonlinear assertions while in linear logic