ERROR: Unknown error term: no_cover_point