Assertion violation ../src/ast/ast.cpp line 432

[deut-erium]

Following code crashes on z3py, I crashed it unintentionally

ASSERTION VIOLATION
File: ../src/ast/ast.cpp
Line: 432
UNREACHABLE CODE WAS REACHED.
Z3 4.8.9.0

from z3 import *
s = Optimize()
f = Function('f',IntSort(),IntSort())
s.maximize(f)

[NikolajBjorner]

the argument to maximize should be an expression, not a function. For example

from z3 import *
s = Optimize()
f = Function('f',IntSort(),IntSort())
s.maximize(f(1))

I have added checks in the front-end so it now throws a more informative exception