Added support for implies constraint