If there's a function call in the definition, try to get the definition of the function, analyze it, and replace variable uses with called ones.
use case:
def func(y): return y[0] and y[1]
cond = lambda y: func(y)
constraint(cond)
Note that cond=func works.
This might be too ambitious (too many corner cases, or danger with recursion), in which case better logging.
If there's a function call in the definition, try to get the definition of the function, analyze it, and replace variable uses with called ones.
use case:
Note that
cond=funcworks.This might be too ambitious (too many corner cases, or danger with recursion), in which case better logging.