reduce cost of deserializing the system AST to 0 (according to `instruments`, it is ~95% faster)