Revert "Exploration C generation"

This reverts commit 2c5c22e92db51b92a0d7b0d10d5d04144be1a43a.