!7

set flag structure_debug.

sclass Blubb {
  S a = "aa", b = "bb";
  Map<S, O> _persistenceInfo;
}

p-exp {
  assertEqualsVerbose([[Blubb(_persistenceInfo=hm{"a"=f}, b="bb")]], structure(nu(Blubb, _persistenceInfo := litmap("a", false)));
  assertEqualsVerbose([[Blubb(a="aa", b="bb")]], structure(nu(Blubb, _persistenceInfo := null)));
  assertEqualsVerbose([[Blubb(_persistenceInfo=hm{"a"=t}, a="aa", b="bb")]], structure(nu(Blubb, _persistenceInfo := litmap("a", true))));
}