comments about which i am wondering
another question comment
first version of incrementally updated HEX interpretation for ClaspSolver

it still needs to be delayed so that we only propagate more rarely and thus only update our interpretation more rarely.