Added pre conditions for gen-worm-position (with neg tests)