Model checker for HyperLTL2