public static Reachability CreateUnreachable () { return new Reachability (true); }
public override Reachability MarkReachable(Reachability rc) { base.MarkReachable(rc); if (state_machine.ReturnType.Kind != MemberKind.Void) { rc = Reachability.CreateUnreachable(); } return(rc); }