Tests for Tautology and a function for testing multi return Rules