I235

see http://gsd.uwaterloo.ca:8888/question/976/error-in-alloy-generator-maybefromjust-nothing

Note this fix is only for ss=simple, there should be no fix for ss=full since without -k it should have no way of finding the uid.