GitLab

This is needed because the SourceController spawns pedestrian based on
on the rectangular bound. Thus the pedestrian cannot be placed
*completely* within a circle with radius 0.4 although there would be
enough space.