Separate header for WKNNF class
Merge branch 'feature/WKNNF-header'

* feature/WKNNF-header:
  Separate header for WKNNF class