Work on runtime checks, adding support for condition variables