Violation Found at A.java:20
call(D C.get_d()) call(D C.get_d())
Violation Found at A.java:25
call(D C.get_d()) call(D C.get_d())
done