Fixes semanticizer&test, adds a semanticizer redirect test