edu.uiowa.cs.clc.kind2 (kind2-java-api 0.3.0 API)