Objects, Invariants and Properties for Automated Conjecturing