Modelexpand result should not be dependent on clean structures

[Ingmar Dasseville]

(Structure was created through haskell so no reproducable code)

• Define an int in the vocabulary
• Take his predicate
• make the value from the structure True
• make the unknowns false
• try modelexpand
• fail because of infinite domain
• clean structure
• try modelexpand
• succes

structure S4 : V {
 C = { 1..5 }
 E = { 0..10 }
 trans = false
 P<ct> = { 1->2 }
 P<cf> = {  }
 target<ct> = { ->2 }
 target<cf> = 
}

[Bart Bogaerts]

basically geef je na die clean meer info aan het systeem. Dus het is niet abnormaal dat hij zich anders gedraagt.

't Is misschien simpele info, maar het blijft meer info.

[Ingmar Dasseville]

clean kan toch niet kwaad om ooit te doen? -> als het systeem het automatisch kan, waarom zou hij het niet doen? proposal: automatisch clean oproepen bij een modelexpand?