compile constraint language.
todo: analysis the detail and excute.