Nonconformances-B--D-metrics--CodeContracts : B and D metrics