SC Mini is a "minimal" positive supercompiler