A model checker for hybrid logics