Removed exception print from coercion check. Moved generic postcondition failure to contract module.