let before u v = strict_before u v || equal u v