Small Model Theorems For Data Independent Systems In Alloy