pub fn felt_sub(db: &dyn SemanticGroup) -> FunctionId