+ add debug mode for wrong sideconditions
+ changes instances for subtyping to uninit to be more flexible,
  simplify proof of alloc::realloc
+ more credits on function call added to context