modify script to skip union tautology check of covers that are already tautologies