IF public boolean demandsEnergy() RETURN TRUE
AND public int injectEnergy(Direction directionFrom, int amount) RETURN != 0
[Warning] xxx didn't implement demandsEnergy() properly, no energy from injectEnergy accepted although demandsEnergy() returned true.