Add postconditions as "assert" to each function

[alexeiZamyatin]

Revert if an assert fails. Check if necessary for all functions