The use of proof planning in normalisation