ast: if-then-else
binop