Seems to be correct. Now find a non-circular graph to try first exact BP