Witness Trees in the Moser-Tardos Algorithmic Lovász Local Lemma and Penrose Trees in the Hard-Core Lattice Gas