Do not prune

Pruning is the responsibility of the compiler, not of the commandline
interface.