Created IntPoset as synonym for Antichain