Statement instance order and lex order map
MOVED TO GITHUB PULL REQUEST HERE
This creates an isl map representing a lexicographic ordering, and creates a statement instance ordering for a pair of statements (given the schedules representing the ordering of their statement instances). A statement instance ordering maps each statement instance to all statement instances that occur later.
Edited by James Stevens