making the apt renderer also write the extensions of the places and transitions.