This function checks the postconditions defined in `<%= inspect(name) %>` after the execution of a command.