基本步骤

Functions

apply_basic_step(disjunctions_or_constraints)