Function unfused 

pub fn unfused(p: &Program) -> Program

The program as the plain evaluator would run it: the sentences it was compiled from, with every fused node replaced by the subtree it came from. The two must compute the same thing; tests hold them to it.