Added Fact file which should have been renamed from Clause
Added failing test for unbounded variables rules