The current version of why in debian, 2.40, as well as the newest available upstream version 2.41, need a version of why3 that is older than the version of why3 that we have in unstable or in testing (see the table in [1]). As a consequence I think that why should not be distributed with buster. [1] http://krakatoa.lri.fr/