Examples of Automating Rules in the Puzzle Maker