All targets except STM - asserts for checking presumptions (function parameters)