fixed bug in extract function: falsely filtered const specifier in parameter list.