Compilation of redundant signs