Staged multi-result supercompilation (a model in Agda)