enable trioAnalysis on Pvar