A toolkit for building multi-result supercompilers