SetReachabilityAnalysisTimeLimit

Sets time limit for incremental rachability analysis (if enabled).