RF_PropHeader_t
RF_PropHeader_t **propList; /* propagation list, size
RF_PropHeader_t *next; /* linked list for multiple results/params */
node->propList = (nSucc) ? (RF_PropHeader_t **) (ptrs + nSucc + nAnte + nResult) : NULL;