Adding the pi calculus bisim up to bisim examples