Fixed errors in extract function:
- one included the keyword static as parameter
- one was caused by the code duplication of TypeChef, causing adding the same parameter twice
- the last one missed its own declaration
Temporarily disabled PairWise Verification for faster debugging results