tests: array/cat.
tests: fn/constrain.
tests: expr.