Added tests for CannotAutoDerefWithoutIsa (deleted by mistake)