Updates for verification of ISAS properties.