dataflow rules for direct assignment expressions