implement simple variable elimination