Remove redundant domain
Apply inverse substitution
Open Cil