ErlangCheck: beam-consists-compile-time