adding missing @Override
adapting property saturation tests to test the new reflexivity and
composition computations