update ground_pat_correct and Let_Els_pat_correct