Added facts header in preprocessing

Fixes #3381

@aaronschachter