Redirecting to BLAST model checker