Removed redundant axioms from sample_problems.