A pushdown model checker for the K Framework