Proving Properties of φ-Representations with the Walnut Theorem-Prover