clang support
basic constraint support for state