Add checks to AST constructors. Allow null for empty lists.
Merge branch 'master' into function

Conflicts:
	jkind-common/src/jkind/lustre/NodeCallExpr.java
	jkind-common/src/jkind/lustre/Program.java
	jkind-common/src/jkind/util/Util.java