First section of taint propagation only for basic rules