add bounded variable elimination