A circular call is detected when there isn't.

@Invariant({

g

}) class G {

String g = "g"

/**
 * @see java.lang.Object#toString()
 */
@Override
String toString() {
    return g
}

}

@Invariant({

g

}) class H {

G g = new G()

/**
 * @see java.lang.Object#toString()
 */
@Override
String toString() {
    g.toString()
}

}

When we call H toString() it detects a circular call.

Can you please confirm?

This issue seems to be gone on 1.2.2