rename `no_ssa` to `ignore`
cleanup
allow locals in TCast
Java does not like if its super calls are moved
do not ignore the arguments of calls to Dynamic
use ctx object in Ssa.apply
don't simplify arguments of non-TFun because that's just a mess