add description, pre and post condition comments