Faster Existential FO Model Checking on Posets (Logical Methods in Computer Science, 2015)