Add more tests testing derefs in BinOps and Casts.