/// <summary>
/// Insert the statement as is into the state
/// </summary>
/// <param name="stmt"></param>
/// <param name="state"></param>
/// <returns></returns>
private static IEnumerable <ProofState> DefaultAction(Statement stmt, ProofState state)
{
Contract.Requires <ArgumentNullException>(stmt != null, "stmt");
Contract.Requires <ArgumentNullException>(state != null, "state");
state.AddStatement(stmt);
yield return(state.Copy());
}
/// <summary>
/// Insert the statement as is into the state
/// </summary>
/// <param name="stmt"></param>
/// <param name="state"></param>
/// <returns></returns>
private static IEnumerable<ProofState> DefaultAction(Statement stmt, ProofState state) {
Contract.Requires<ArgumentNullException>(stmt != null, "stmt");
Contract.Requires<ArgumentNullException>(state != null, "state");
state.AddStatement(stmt);
yield return state.Copy();
}