PROOF-aware version of the analysis framework (Andrei)