(module Alternating_primary_backup_assignment)