Added alloy sample that uses new ltl constraints