idp_engine.Annotate

Methods to annotate the Abstract Syntax Tree (AST) of an IDP-Z3 program.

rename_args(self, old, new)

replace old variables by new variables (ignoring arguments in the head before the it