option intraprocedural