Code Models are Zero-shot Precondition Reasoners