One could imagine an annotation for if-statements that both branches should run for the same number of instructions or cycles.