Add model checker