Make inference program explicit.