[JACOB-6] Better Process modeling for pi calculus