/*+ NO_PUSH_PRED ( table ) */