debugging RigidIBFE