modifications to ensure it so pda activation is on transition