Soundness bug fixed in GCing tcon patterns.