The Separate Compilation Assumption