'Fix the optimization local_useless_subtensor and add test to it and generalize it to support for Theano Variable in the slice.stop.'