On Computational Creativity, 'Inventing' Theorem Proofs -- Revisiting Constraint Models