rej14: Be more informative for var element distinct clauses