tweaks + the modified execReasoner script