Fixed bug in extract function.
Introduced vice versa fallback between  parameter declarations and local variables declarations as the information provided by the varEnv is inconsistent for variables declared only with the specifier unsigned. varEnv classifies them wrongly as provided in a function parameter.