add docs, more blocks can be present in an .if, console viewer now says 'next state' instead of 'in state'