Fixed the cardinality bug in the Alloy translation