postcondition outline thin icon