Add missing Superclass.preconditions + from several responses
Fix responding 2C to a major opening with z3