Add test case for predicate inheritance in reduction realization