fixed "From Semantic Domains", still can not save until some low level bug get fixed