overcutter

Noun

 * 1)  A device used to cut into rock walls from above.