Add interval ordering constraints.
Fix comment spelling mistake.
Perform pruning on interval ordering constraints.