Add positions set & delegate accessor for annotations
Add @Propagated annotation
Add support of excluded external annotations
 Track propagation positions
Change @Propagated data to enum
Write @Propagated to annotation XMLs
Add propagation marker to test output
"Pairs to map" update
Pass complete annotation data to inferrer
Exclude propagated positions from inference
Extend heap size for tests