Remove unused fn `default` from `Step` trait.
Add some test cases for empty outputs.
Refactor: Remove some code duplication.
Bump `stainless` dependency to 0.0.7.
Fix for `rustc 0.13.0-dev (cc19e3380 2014-12-20 20:00:36 +0000)`.