Added analyzer for TAs, unlimited branch and bound.