Include type constraints in transition relation for interpolation purposes