contains, before :: Assignment -> Assignment -> Bool
contains (Assignment lower1 upper1) (Assignment lower2 upper2) =
(lower1 <= lower2) && (upper1 >= upper2)
contains, before :: Assignment -> Assignment -> Bool
contains (Assignment lower1 upper1) (Assignment lower2 upper2) =
(lower1 <= lower2) && (upper1 >= upper2)