Modifications in the graph builder to build the graph for simpler-register. Added support for interrupt and untimed timeout operators.
Changes in the grfaph builder component.
model checker and graph builder working on simpler bit register example.