આ બિંદુએ, દુભાષિયો નીચેના કાર્યાત્મક-સિમેન્ટીક સેગમેન્ટમાં કાર્યક્રમ પ્રસારણ, નવી લાઈન હોય, જેની postcondition જ્યારે સાથે બ્લોક પછી સ્થિત થયેલ છે એટલે.