More testcases for transitions and other constraints