Use 'error' function instead of 'assert' for better analyzer error messages