Exact_inference loading ...