Safety of Compilation for Domains

Created by: tjhu