Boundary based analysis

diagram

Inspire revision 4711 Gyldig

Boundary based analysis