add_postcondition


Description:

public void add_postcondition (Observation postcondition)