Bug fixed in checkPreconditionOfRequireDatas