ASImodel size is now fixed. Updated smallAnimals demo with generic pairs/implications computation, updated documentation