ocsObserver :: Observer -> DList Loc
locsObserver Observer { observerExpr = e } = locsExpr e

locsObserver :: Observer -> DList Loc
locsObserver Observer { observerExpr = e } = locsExpr e
locsObserver Observer { observerExpr = e } = locsExpr e