CFA Version 1.0.0 (debug) Error: in void ?{}(struct A *a, int x), member z may not have been constructed Error: in void ?{}(struct B *b), member a2 used before being constructed Error: in void ?{}(struct B *b), member a2 may not have been constructed Error: in void ?{}(struct B *b), member a3 may not have been constructed Error: in void ^?{}(struct B *b), member a2 may not have been destructed Error: in void ^?{}(struct B *b), member a3 may not have been destructed make: *** [ctorWarnings] Error 1