Tighter WCET Estimates by Procedure Cloning