Fold extract_element(cst) to cst