Fixed bug in constraints on aliases. Must only assert inequality on aliases created _before_ the current alias being considered