Added a self-check to validate that all interactions, locals, and globals have unique names