Updating to TIMOB 3.0.2 / Alloy 1.0