Mode analysis IFree now tracks aliasedness

Part of the quest for backward chaining