Internal Error:
Unexpected error or improper call to system function bottomUp : unknown object form
(1) -> f(x:Domain):Integer == (x has IntegralDomain => 1; 0) Domain is not a valid type.