Commit Test 3col
Fix isFact atom non present in Instances