Add attribute to check if return value of certain functions is incorrectly