Hiflow3 configuration and constraint file checker