/*+
PUSH_PRED
( table ) */