make the integer ids that are used to represent before/after statements in...

make the integer ids that are used to represent before/after statements in domain of PairwiseSchedule deterministic so that the 'before' statement is always 0 and 'after' statement is always 1 (unless they're the same statement)