Opmerkingen over functiepunten in de interfacedocumentatie
afhankelijk maken van de switch --fpa
Elaborate the formal model wrt specializations and plugs.