Basic pre-proccessing of PB clauses

- Inserted clauses are normalized
- Some basic PB-related problem statistics are collected