type check tests  + method call fix + print fix