Reachabillity check enabled
Reachabillity check enabled
Reachabillity check almost finished, adding execution.