Some simple examples to show how SIF2 can be used to execute dynamic inspections