fix misunderstood static parameter
fix off by 1 bug.
Used register shouldn't be obtained from usedRegisterMap, which may not have been initialised yet.
invoke instruction argument list fix
remove obsolete assertion.
switch successors fix