James C - Added test to ensure inheritance of invariants is transitive