remove the isTriviallyInvalid() solver