added debug output to failing tests, disabled return type checking