Some Formatting and tests for termination_criteria Or and And