Added basic functions for in-code assertions (i.e. contract based design
style)