updated alloy.jar to a version that can take upper bounds from partial instance
small change
added some test assertion to check that the partial instance is correctly turned into bound on the alloy side