atl "weak-timelyP1" A G (E F P1_stop);

atl "weak-timelyP2" A G (E F P2_stop);

atl "weak-timelyP3" A G (E F P3_stop); 

atl "weak-timelyP4" A G (E F P4_stop);