analyzer update to use File object
implements typehinting checks for issue #10