Finalize SPINS
type	UOB
node	17
idef0-ref	14
objects	Modifies: SPINS Uses: EC SPINS Uses: Tanker SPINS Uses: Target Msn SPINS
facts
constraints
description