modified markActions to mark the getInputPropositions(). Many debug prints are being used still. We think getNextState() has problems inferring what should and should not be true. For example, turn counters in buttons and lights are wrong, but the lights are updated correctly