Missing support for the new alias mechanism

[aronisstav]

Describe the bug Concuerror does not work out-of-the-box with Erlang 24.0, and the first issue one can encounter is lack of support for the new alias mechanism in OTP libraries.

To Reproduce Steps to reproduce the behavior:

1. Clone the aronisstav/support-24.0 branch (e.g. SHA: d26ddac)
2. Go to tests-real/suites/poolboy
3. Run make

Expected behavior The test completes correctly.

Actual behavior The test fails with

Concuerror does not support calls to built-in erlang:monitor/3 (found in gen.erl line {223,12}). If you really need this functionality, contact the developers.

Environment (please complete the following information):

• Erlang version: 24.0-rc1 or newer
• Concuerror Version: Concuerror 0.21.0+build.2307.ref152a5cc

Additional context The alias mechanism is yet another dimension of race complexity (http://erlang.org/documentation/doc-12.0-rc1/erts-12.0/doc/html/erlang.html#alias-1). Aliases interact with send, delivery, monitor, possibly exit operations and likely others.

Adding full and correct support for all that might be too big of a maintenance task, with no clear benefit right now.