changed coding style in some selection operators
additional assertion in AMutation class