Added tests for multiple facts of the same type