Reverting to only using body expansion in provers ... join expansion is evidently only useful in extreme cases ...