handle special case where simplified lex tuples are empty (means statements...
handle special case where simplified lex tuples are empty (means statements map to the exact same point(s) in the lex ordering, which is okay, but to represent this, our lex tuple cannot be empty, so map to (0))
Loading
Please register or sign in to comment