Local Redundancy in SAT: Generalizations of Blocked Clauses (Logical Methods in Computer Science, 2018)