RasGTP_minus_NF1_star_ <-> RasGDP_minus_NF1_Pi
RasGDP_minus_NF1_Pi <-> Pi + RasGDP_NF1
RasGTP_minus_NF1 <-> RasGTP_minus_NF1_star_
RasGDP_NF1 <-> NF1 + RasGDP
NF1 + RasGTP <-> RasGTP_minus_NF1