========= OK test :
load A1
-> load A2
-> load C (but constant TYPE is not loaded already)
-> not load A2 (already 'used')
-> load constant TYPE
========= KO test :
load A1
-> load C (but constant TYPE is not loaded already)
-> load A2
-> not load C (already 'used')
-> fail because constant TYPE is not loaded