spin: use -DNOCLAIM to disable LTL formula