WyTP: renamed keyword "axiom" to "assume"