clear_step_assumptions
Clear step-level assumptions when moving to a new sub-derivation or branch. Ensures a clean state for subsequent symbolic computations.
Instructions
🧹 Clear step-level assumptions.
Useful when moving to a new sub-derivation or branch.
Returns:
Operation result
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||