unary and binary expressions
pruning improvements