Add transition relation of A-Pi