implemented RTDP (no labeling yet)