Definition of boundaries within the application.
Verifies cross-module function calls according to defined boundaries.