Model Generation For Id-logic by