Faster Existential FO Model Checking on Posets