Before
ast
BinaryOperator
problem
bind
ScalazDiscreteDomain
bounds
EmptyDomain Domain FiniteDiscreteDomain