Additional test, fact with two variables
Fact with functor variable