Add preliminary support for INTREE constraint