Remove old tests
Canonanicalize all argument paths at ground time
Constant segments