add tests for facts.pp and update documentation