Alloy Unit Test example