XXX: TAKE ME OUT
-type escapes() :: labelset().
-type label() :: integer() | top | external | external_call.
-type labelset() :: ordset(label()).
-type ordset(X) :: [X].
-type outlist() :: [labelset()] | none.
-spec annotate(cerl:cerl()) -> {cerl:cerl(), outlist(), dict:dict(), escapes(), dict:dict(), dict:dict(), sets:set(), sets:set()}.
-spec intraprocedural(cerl:cerl()) -> {outlist(), dict:dict(), escapes(), dict:dict(), dict:dict(), sets:set(), sets:set()}.
-spec is_escape_op(atom(), arity()) -> boolean().
-spec is_escape_op(atom(), atom(), arity()) -> boolean().
-spec is_literal_op(atom(), arity()) -> boolean().
-spec is_literal_op(atom(), atom(), arity()) -> boolean().