void
poison(int strength)
JCSP for Java 1.8 generated 18-09-2017 by Jon Kerridge, Edinburgh Napier University