add aliases `assume` `unassume` `assumed`