add assertions in Task.java and TaskPool.java
model_description.txt