Consistency Check For Safety Program