Added support for AutoConstraints generation