refactor codes
rename domain.ml->sfdomain.ml; refactor codes; update darwin binary