complete model check tests