sat dot printer now supports subscripts, field access, functions, variable definitions, arguments, type declarations