Tewak notation
Skip unused argument
Refactor creating sandbox
Fix determining constraints with sandbox sources present