global import of path ../../contracts/ForkableGlobalExitRoot.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)

Error message for require is too long

Error message for require is too long

Error message for require is too long

Error message for require is too long

Error message for require is too long

Variable "proofA" is unused

Variable "proofB" is unused

Variable "proofC" is unused