The lamp.ifc file is a lamp I downloaded from https://www.bimobject.com
The wall.ifc file (attached) is just a wall I modeled in freecad.
Both the files are imported without problem on Blender with the ifcblender addon