Savings heuristic

WIP
Redundant `return` detected.