PetScan::extract_conditional_assignment: extract write access as pet_expr