Bug in approximation with domainelements in builtins

[Broes De Cat]

See test domelem_comparison

[Bart Bogaerts]

bugfix in propagator

Normally, since we don't create leafconnectors for builtins, a propagator will never be scheduled with a builtind predform as parent However, if this predform is a topformula, we will always schedule this kind of down propagation once. This is now catched.

This fixes #373

→ <<cset 573ccfc44769>>

[Bart Bogaerts]

Issue #341 was marked as a duplicate of this issue.

[Bart Bogaerts]

bugfix in propagator

Normally, since we don't create leafconnectors for builtins, a propagator will never be scheduled with a builtind predform as parent However, if this predform is a topformula, we will always schedule this kind of down propagation once. This is now catched.

This fixes #373

→ <<cset 33292f44bb54>>

[Bart Bogaerts]

bugfix in propagator

Normally, since we don't create leafconnectors for builtins, a propagator will never be scheduled with a builtind predform as parent However, if this predform is a topformula, we will always schedule this kind of down propagation once. This is now catched.

This fixes #373

→ <<cset 24a61bb8696b>>