PetScan::resolve_nested: handle self dependences in conditional assignments