Symbolic: switch off some redundant testing and adding MX