 An additional codice_3 after codice_12 allows to perform work after the test is evaluated to false.The work should ensure that the assertion is false subsequently.A procedure "call" executes the statements of a procedure in a forward direction.