prooftree: new expression 0.12