最弱前置条件

给定后置条件，倒推出能保证它成立的最宽松的前置条件。可以机械地计算。