Softstar: Heuristic-Guided Probabilistic Inference