The class-level mutants of MuJava | Synapse