Added checkCondition to Execution.hs