!752 sclass A { S a; [stdEq] } sclass B extends A { S b; [stdEq] } p { testStructureFunction(nu(A, a := "AAA")); testStructureFunction(nu(B, a := "ABC", b := "DEF")); print("OK"); }