Checking for UPPAAL installation
Better handling of UPPAAL installation: check that UPPAAL verifier is present (exists()) and then if verification fails, return an error.
Better handling of UPPAAL installation: check that UPPAAL verifier is present (exists()) and then if verification fails, return an error.