fix broken no_aliens proofs