Forgot to remove watches of removed learnt multi-component implicit clauses