TrinaryLogicMutator: Invalid Mutation

[staabm]

given
return $isSuperType->yes() || $isSuperType->no();

we currently create the following invalid mutations

- return $isSuperType->yes() || $isSuperType->no(); 
+ return !$isSuperType->no() || $isSuperType->no();

- return $isSuperType->yes() || $isSuperType->no(); 
+ return !$isSuperType->no() || $isSuperType->no();

[staabm]

another example

		if ($ourStatic->yes()) {
		} elseif ($ourStatic->no()) {
		}

generates

-		if ($ourStatic->yes()) {
+		if (!$ourStatic->no()) {
 		} elseif ($ourStatic->no()) {
 		}

and

 		if ($ourStatic->yes()) {
-		} elseif ($ourStatic->no()) {
+		} elseif (!$ourStatic->yes()) {
 		}