Got rid of an unnecessary Taint initialization
Rewrote tests to (i) remove test exerciser duplicity (ii) not use const as source