Function extract_input_params 

pub fn extract_input_params(body: &SpExpr, params: &mut Vec<(String, String)>)

Extract (name, rust_type) pairs from an input clause body.

Uses the shared extract_clause_params from assura-parser, then maps Assura type tokens to Rust types via map_type_token/map_type_tokens.