Add complexity bound to dalmatian heuristics #1
Description
It could be useful to interrupt the dalmatian heuristic if the expressions reach a certain complexity.
{{ message }}
It could be useful to interrupt the dalmatian heuristic if the expressions reach a certain complexity.