You cannot use a while loop with PyMC variables. c1 + c2 returns a symbolic expression that always evaluates to True, that is bool(c1 + c2) == True. Theano can do while loops with scan, but unfortunately those won’t work with PyMC Variables, until at least the next major release (PyMC v4).