add support for if-then-else constraint