Report on probability bounds in synthesis results.
Give a reason when decomposition is needed!