FEAT: added missing parts of functions contexts initialization and handling on stack.
FIX: issue #398 (FORALL breaks within function)