expanded assign and do implicit decl tests