makeTransitionWithOp

Checks if the transition with operator op is possible from the current state of the FSM. If so, it updates the state of the FSM and returns true. If no transition is possible, returns false. Collects the old state, the edge and the cpgNode in the executionTrace in a Trace and appends it to the executionTrace

Before calling this, initialize the orderEvaluation with initializeOrderEvaluation