Fix implication antecedents with aliases