Pošljite SMS: Towards a small model theorem for data independent systems in Alloy