methods seem to work
made ShapeElim more powerful but now relying on shape inference always working