taint-* pseudoinstruction definition moved to Taint Storage