Update test case
Test for cycles in instance requirements
Simpler instance propagation test