Modes for controlling irrelevant axiom removal#301

shigoel wants to merge 8 commits intomainstrata-org/Strata:mainfrom

shilpi/irrelevant-ax-fixstrata-org/Strata:shilpi/irrelevant-ax-fixCopy head branch name to clipboard