complexity concerned constraint compiler