This package displays Alloy4 instances.