pub fn handle_statement(
statement: &Loc<Statement>,
ctx: &mut Context<'_>,
name_map: &mut BTreeMap<NameID, NameID>,
statements: &mut StatementList,
clock: &Loc<NameID>,
local_conds: &mut Vec<Option<ValueName>>,
stage_enable_names: &mut Vec<Option<ValueName>>,
current_stage: &mut usize,
) -> Result<()>