assume_for_step
Set assumptions for the current derivation step by passing alternating symbols and properties, updating step-level assumptions and reporting conflicts.
Instructions
📋 Set assumptions for the current derivation step only.
Args:
*args: Alternating symbol and property strings
(e.g., "x", "positive", "y", "real")
Returns:
Updated step-level assumptions and any conflicts
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| args | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||