REBASEME: Whitespace
REBASEME: Remove swap file
REBASEME: Apply outgoing edge upper bound to SCF as well
REBASEME: Tighter bound
REBASEME: TODO notes for tighter SCF bounds