Split MAY_BE_NULL from MAY_BE_UNDEF

long -> zend_long in range inference

Clone cannot return reference

Use do_alloca() instead of alloca()

Added e-SSA based DFA optimisation framework (incomplete)