added the 'satisfiable?' method to solution.rb
changed syntax for commands to allow for command names and commands without a body
changed alloy_printer to print out commands without a body differently
updated address_book and file_system tests to check for unsatisfiable commands