Expression elsePart = readWhen(left);
Function function = Function.getFunction(session.getDatabase(), "CASEWHEN");
function.setParameter(0, when);
function.setParameter(1, then);
function.setParameter(2, elsePart);
function.doneWithParameters();
return function;
}
private int getPositiveInt() {
int v = getInt();