Towards a Model of Puzznic