Fix model printing function to handle sequence example

[havelund]

The following example does solve (immediately) but K fails during printing the resulting model.
There is a variable SetValue that is None and on which get is called.

class A {
a : Seq[Int]
}