Basic performative checking

The basis for the state machine. Still too primitive.

Signed-off-by: Aharon Campos <aharoncampos@gmail.com>