functional/high_order file renamed conditional.