Added (broken) conditioning with forall
BP run until convergence
Allow BP maxIteration = -1 to run arbitrarily long (until convergence)