Add AssumeNG as a top-level dependency