*Incremental propositional non-deterministic QEA monitor added
*Initial state of the monitor is not fixed anymore, now it's retrieved
from the QEA
*Getter added for initial state
*Current state changed to be represented as a NonDetConfig instead of an
integer
*trace method modified to store the final verdict before returning it
*Setter for state added
*Constructor modified: initialState received as parameter instead of
being fixed
*Method step(int eventName, Object param1) modified to retrieve the
initial state from the QEA instead of being fixed to 1
*Method step(int eventName, Object param1) modified: When creating a new
object NonDetConfig the initial state is retrieved from the QEA and
passed into the constructor
*Setter for initial state added
*Comment added
*Implementation of Binding added