Module cfg_builder_resolve_condition 

Source: Analysis/src/ControlFlowGraph.cpp:368-422 (hand-ported) C++ std::optional<RefinementId> CFGBuilder::resolveCondition(AstExpr* condition).