Initial version
Added ForallConstruct.
Added ForallConstruct.