UCLA Matlab Static Typechecker