Instructions can be printed out as text using the print method.
The optional depth parameter specifies the indentation level for
the output. The elab and en parameters are also optional
and are only used when printing sub-expressions. Most users should
never need to worry about these extra parameters. The elab
parameter is the number for the label attached to the instruction, and
the en parameter is the next number to be used for labeling
subexpressions.