This callback contains the predicate that should be checked to generate and execute the command `<%= info.name %>`.

## Available variables

### State

- `state` contains the complete symbolic state of the model.
<%= for attr <- info.attrs, do: "- `#{Macro.var(attr, nil) |> Macro.to_string}` attribute defined in the state declaration.\n" %>