Rule for avoiding size equals or not equals zero on Traversables
Using quasisquotes

Not entirely sure it made it better though
Big test split up in separate test cases
Rule for inferences of Any

It uses tpt.original == null to check whether a TypeTree was inferred or not.