Programs as Black-Box Explanations